退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:代理主动目标的形式化模型
Wu Jun; Wang Chong-jun; Luo Bin; Chen Shi-fu;
机译:生物活性胃肠杆菌的新合成:正式合成五溴吡喃,双乙醇和几种抗细胞剂
机译:支持Dimamulti-agents模型的形式验证:基于Maude模型检查的框架
机译:关于弹性的面向目标的多主体系统的形式化推理
机译:使用交替时间逻辑对代理,目标和操作进行形式化处理
机译:一种正式建模和分析移动代理系统软件体系结构的方法。
机译:使用变分频神经网络的主动推断习惯剂的目标定向规划
机译:用自适应的主动正式模型确定不确定系统目标
机译:化妆品成分,试剂盒,querat u00ecnicas永久材料的建模过程。四甲胍用作纤维querat u00ecnicas永久性活性剂的建模和活性剂建模连续纤维querat u00ecnicas的活性剂的用途
机译:一种信息建模,表示和集成的信息进程与不同型号的知识表示的无需使用正式语言的方法,这是一种基于结构化数据的有限集合来呈现描述这些对象的半结构化数据的方法
机译:用于信息建模的方法,并且代表不同知识表示模型的信息过程的任意对象,而无需集成和正式语言,以及用于基于结构化数据的有限集合描述所述对象的半结构化数据的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。